[prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 958

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

567 567 1002 8248 0 613 0 0 -1

N.S.

1 1.00 1.77 14.55 0.00 1.08 0.00 0.00 -0.00

time (sec)

N/A 0.656 29.281 0.154 0.000 0.550 0.000 0.000 0.000

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

452 452 638 3805 0 453 0 0 -1

N.S.

1 1.00 1.41 8.42 0.00 1.00 0.00 0.00 -0.00

time (sec)

N/A 0.320 24.733 0.125 0.000 0.610 0.000 0.000 0.000

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 365 747 0 359 0 0 -1

N.S.

1 1.00 1.94 3.97 0.00 1.91 0.00 0.00 -0.01

time (sec)

N/A 0.049 20.563 0.117 0.000 0.388 0.000 0.000 0.000

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

467 467 379 834 0 0 0 0 -1

N.S.

1 1.00 0.81 1.79 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.041 20.670 0.134 0.000 0.000 0.000 0.000 0.000

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

994 994 1502 13017 0 0 0 0 -1

N.S.

1 1.00 1.51 13.10 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.484 32.651 0.124 0.000 0.000 0.000 0.000 0.000

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1786 1786 36634 59522 0 0 0 0 -1

N.S.

1 1.00 20.51 33.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 5.675 34.862 0.233 0.000 0.000 0.000 0.000 0.000

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

675 675 1385 1879 0 0 0 0 -1

N.S.

1 1.00 2.05 2.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.138 12.485 0.156 0.000 0.000 0.000 0.000 0.000

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1138 1138 37137 7464 0 0 0 0 -1

N.S.

1 1.00 32.63 6.56 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.474 34.337 0.156 0.000 0.000 0.000 0.000 0.000

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

631 631 855 8755 0 626 0 0 -1

N.S.

1 1.00 1.35 13.87 0.00 0.99 0.00 0.00 -0.00

time (sec)

N/A 0.736 32.684 0.141 0.000 0.668 0.000 0.000 0.000

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

479 479 981 4295 0 467 0 0 -1

N.S.

1 1.00 2.05 8.97 0.00 0.97 0.00 0.00 -0.00

time (sec)

N/A 0.416 28.963 0.129 0.000 0.327 0.000 0.000 0.000

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

393 393 814 1014 0 369 0 0 -1

N.S.

1 1.00 2.07 2.58 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.166 23.688 0.116 0.000 0.292 0.000 0.000 0.000

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 308 287 0 128 0 0 -1

N.S.

1 1.00 1.63 1.52 0.00 0.68 0.00 0.00 -0.01

time (sec)

N/A 0.068 20.462 0.116 0.000 0.438 0.000 0.000 0.000

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 499 330 0 0 0 0 -1

N.S.

1 1.00 1.78 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.817 21.157 0.139 0.000 0.000 0.000 0.000 0.000

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1037 1037 842 14048 0 0 0 0 -1

N.S.

1 1.00 0.81 13.55 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.387 33.027 0.134 0.000 0.000 0.000 0.000 0.000

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1114 1762 40396 64947 0 0 0 0 -1

N.S.

1 1.58 36.26 58.30 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 5.421 35.348 0.288 0.000 0.000 0.000 0.000 0.000

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

553 553 950 4757 0 0 0 0 -1

N.S.

1 1.00 1.72 8.60 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.115 24.037 0.144 0.000 0.000 0.000 0.000 0.000

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1125 1125 14759 27597 0 0 0 0 -1

N.S.

1 1.00 13.12 24.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.606 34.029 0.199 0.000 0.000 0.000 0.000 0.000

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

475 475 1118 590 0 0 0 0 -1

N.S.

1 1.00 2.35 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.261 26.599 0.208 0.000 0.000 0.000 0.000 0.000

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A NO Yes TBD TBD TBD TBD TBD TBD

size

588 588 375 550 0 0 0 0 -1

N.S.

1 1.00 0.64 0.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.683 24.772 0.140 0.000 0.000 0.000 0.000 0.000

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 440 1249 690 1222 15757 2740 1354

N.S.

1 1.00 2.00 5.68 3.14 5.55 71.62 12.45 6.15

time (sec)

N/A 0.134 0.445 0.086 0.363 2.229 3.224 1.728 3.945

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 180 503 358 485 5930 1162 602

N.S.

1 1.00 1.25 3.49 2.49 3.37 41.18 8.07 4.18

time (sec)

N/A 0.073 0.306 0.087 0.325 3.424 1.380 2.184 3.594

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 166 0 0 0 0 0 -1

N.S.

1 1.00 1.29 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.550 0.026 0.000 0.000 0.000 0.000 0.000

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

157 157 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.215 0.029 0.000 0.000 0.000 0.000 0.000

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 243 185 0 0 0 0 0 -1

N.S.

1 0.99 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.204 0.663 0.042 0.000 0.000 0.000 0.000 0.000

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

525 525 1263 4653 2031 4356 74400 10489 2500

N.S.

1 1.00 2.41 8.86 3.87 8.30 141.71 19.98 4.76

time (sec)

N/A 0.381 1.858 0.161 0.339 2.885 13.840 1.917 5.383

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 655 2149 1121 2084 32864 4940 2307

N.S.

1 1.00 2.11 6.91 3.60 6.70 105.67 15.88 7.42

time (sec)

N/A 0.235 1.140 0.129 0.342 3.221 6.383 3.583 4.380

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 254 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.547 0.585 0.062 0.000 0.000 0.000 0.000 0.000

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

298 298 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.726 0.989 0.063 0.000 0.000 0.000 0.000 0.000

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

461 461 281 0 0 0 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.942 2.117 0.072 0.000 0.000 0.000 0.000 0.000

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 151 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.152 0.291 0.069 0.000 0.000 0.000 0.000 0.000

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 117 0 0 0 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.142 0.066 0.000 0.000 0.000 0.000 0.000

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 91 0 0 0 0 0 -1

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.107 0.062 0.000 0.000 0.000 0.000 0.000

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 89 0 0 0 0 0 -1

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.100 0.059 0.000 0.000 0.000 0.000 0.000

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 94 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 0.110 0.057 0.000 0.000 0.000 0.000 0.000

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 233 0 0 0 0 0 -1

N.S.

1 1.00 1.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.135 0.568 0.064 0.000 0.000 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 152 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.144 0.177 0.071 0.000 0.000 0.000 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 251 0 0 0 0 0 -1

N.S.

1 1.00 1.24 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.193 0.346 0.082 0.000 0.000 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 252 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.184 0.331 0.083 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 156 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.163 0.332 0.082 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 149 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.215 0.077 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 150 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.180 0.076 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 274 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.572 0.086 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

376 376 287 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.327 0.500 0.087 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 230 171 0 0 0 0 0 -1

N.S.

1 0.97 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.230 0.523 0.020 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

509 506 0 0 0 0 0 0 -1

N.S.

1 0.99 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.573 1.425 0.059 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

388 388 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.229 0.884 0.050 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 207 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.015 0.051 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.022 0.501 0.057 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

502 500 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.441 1.381 0.057 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

388 388 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.227 0.941 0.053 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 207 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.019 0.052 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.021 0.598 0.062 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

265 263 189 0 0 0 0 0 -1

N.S.

1 0.99 0.71 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.222 0.335 0.021 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

525 523 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.465 1.528 0.060 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

384 384 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.220 0.887 0.053 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 205 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.077 0.086 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.016 0.227 0.064 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 188 148 0 0 0 0 -1

N.S.

1 1.00 2.11 1.66 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 20.484 0.105 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]